fs0:
; first try the 64-bit one.  If not 64-bit, it will simply return and go to the next line
EFI\BOOT\BOOTx64.EFI
; if the above failed, try the 32-bit one
EFI\BOOT\BOOTIA32.EFI
